A note on truth value in uncertain logic
نویسندگان
چکیده
Uncertain logic is a generalization of classical logic for dealing with uncertain knowledge via uncertainty theory. The truth value is defined as the uncertain measure that a proposition is true. In this paper, a numerical method for calculating the truth value of uncertain formulas is proposed and some examples are presented. 2011 Elsevier Ltd. All rights reserved.
منابع مشابه
Uncertain random logic and uncertain random entailment
Probabilistic logic and uncertain logic, as two branches of the multi-valued logic, have been proposed for dealing with knowledge with random factors and with human uncertainty, respectively. As a generalization, this paper proposes an uncertain random logic to deal with complex knowledge containing random factors and human uncertainty simultaneously, and derives a formula to calculate the trut...
متن کاملHybrid Logic and Uncertain Logic
Probabilistic logic and credibilistic logic are two branches of multi-valued logic for dealing with random knowledge and fuzzy knowledge, respectively. In this paper, a hybrid logic is introduced for dealing with random knowledge and fuzzy knowledge simultaneously. First, a hybrid formula is introduced on the basis of random proposition and fuzzy proposition. Furthermore, a hybrid truth value i...
متن کاملA semantic study of the first-order predicate logic with uncertainty involved
In this paper, we provide a semantic study of the first-order predicate logic for situations involving uncertainty. We introduce the concepts of uncertain predicate proposition, uncertain predicate formula, uncertain interpretation and degree of truth in the framework of uncertainty theory. Compared with classical predicate formula taking true value in {0, 1}, the degree of truth of uncertain p...
متن کاملUncertain Entailment and Modus Ponens in the Framework of Uncertain Logic
Uncertain entailment is a methodology for calculating the truth value of an uncertain formula via the maximum uncertainty principle when the truth values of other uncertain formulas are given. In order to find the truth value of additional formula, this paper will introduce an entailment model. As applications of uncertain entailment, this paper will also discuss modus ponens, modus tollens, an...
متن کاملUncertain Satisfiability and Uncertain Entailment
Uncertain logic is a branch of multi-valued logic for dealing with subjective information, which explains formulas as uncertain variables and defines their truth values as uncertain measures. In this paper, uncertain satisfiability is proposed to verify the consistency of a set of truth values for the formulas. Furthermore, for a set of satisfiable formulas with given truth values, the problem ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Expert Syst. Appl.
دوره 38 شماره
صفحات -
تاریخ انتشار 2011